| 1. | The award is named in honor of Kurt Gödel.
Ce prix porte le nom de Kurt Gödel. |
| 2. | Remembrances of Kurt Gödel.
Le logicien Kurt Gödel. |
| 3. | The Kurt Gödel Society, founded in 1987, was named in his honor.
La société Kurt Gödel, fondée en 1987, est baptisée en son honneur. |
| 4. | In any event, Kurt Gödel first proved this completeness in 1930.
Quoi qu'il en soit, Kurt Gödel a ensuite prouvé cette complétude en 1930. |
| 5. | Kurt Gödel (1906–1978) logician and mathematician, who became famous for his two incompleteness theorems.
Kurt Gödel (d. 1978), mathématicien austro-américain, célèbre pour son théorème d'incomplétude. |
| 6. | The concept was used by Kurt Gödel for the proof of his incompleteness theorems.
Le concept a été utilisé par Kurt Gödel pour la preuve de ses théorèmes d'incomplétude. |
| 7. | However, Gödel could not have come to this conclusion without Whitehead and Russell's book.
Cependant, Kurt Gödel n'a pu arriver à cette conclusion que grâce au livre de Whitehead et Russell. |
| 8. | 1978: Kurt Gödel, the Austrian-American logician and mathematician, died of starvation when his wife was hospitalized.
Kurt Gödel, mathématicien et logicien austro-américain, meurt de faim alors que sa femme a été hospitalisée. |
| 9. | She is a privatdozent in the Kurt Gödel Research Center for Mathematical Logic at the University of Vienna.
Elle est privat-dozent au centre de recherche de logique mathématique Kurt Gödel à l'université de Vienne. |
| 10. | Malliaris won a Kurt Gödel Research Prize in 2010 for her work in unstable model theory.
Malliaris reçoit le Prix Kurt Gödel de la Recherche en 2010 pour son travail en théorie des modèles instables. |
